41. Inexhaustibility : a non-exhaustive treatment
پدیدآورنده : Franzen, Torkel, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Incompleteness theorems,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
16
42. Interpreting Godel : critical essays
پدیدآورنده : edited by Juliette Kennedy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy
رده :
QA
9
.
2
.
I586
43. Introduction to the foundations of mathematics
پدیدآورنده : Wilder, Raymond Louis
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
44. Invariance and structural dependence
پدیدآورنده : Odelstad, Jan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics - Philosophy
رده :
QA
9
.
O26
1992
45. Invariance and structural dependence
پدیدآورنده : Odelstad, Jan.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
QA
9
.
O26
1992
46. La consistance des theories formelles et le fondement des mathematiques
پدیدآورنده : Par Maurice Meigne
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Mathematics-- Philosophy,Logic, Symbolic and mathematical
47. La crise de la raison et la logique;conferences faites a l'Universite de Liege dans le cadre des echanges culturels belgo-neerlandais au mois de mai 1956
پدیدآورنده : Par E. W. Beth
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
48. Language, truth, and logic in mathematics
پدیدآورنده : / Jaakko Hintikka
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics , Philosophy,Logic, Symbolic and mathematical
رده :
E-BOOK
49. Le raisonnement mathematique
پدیدآورنده : Par R. Daval et G. T. Guilbaud
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical.,Mathematics-Philosophy
50. Le rationnel
پدیدآورنده : / Gaston Milhaud,Milhaud
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical,Mathematics -- Philosophy
رده :
BC
171
.
M5
51. Les fondements logiques des mathematiques.
پدیدآورنده : Par E.W.Beth
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
52. Logic, Language, and Probability :
پدیدآورنده : edited by Radu J. Bogdan, Ilkka Niiniluoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Science -- Philosophy.
53. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
54. Logic from A to Z
پدیدآورنده : Detlefsen, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy -- Encyclopedias ، Mathematics,Encyclopedias ، Logic, Symbolic and mathematical
رده :
QA
9
.
D474
1999
55. Logic in elementary mathematics
پدیدآورنده : Exner, Robert M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
E96
56. Logic in elementary mathematics
پدیدآورنده : Exner, Robert M
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
57. Logic in elementary mathematics
پدیدآورنده : Exner, Robert M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
E96
58. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
59. Logical foundations of mathematics for behavior scientists
پدیدآورنده : [By] Abraham S. Luchins،Edith H. Lunich
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (تهران)
موضوع : Mathematics - Philosophy . Logic, Symbolic and mathematical,Psychology
رده :
BF
,
44
,.
L8
60. Logicism and its philosophical legacy /
پدیدآورنده : William Demopoulos
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
D38
2013
